Перевод: с английского на все языки

со всех языков на английский

Со всех языков на:
Английский
С английского на:
Все языки
Датский
Немецкий
Русский
Французский

existence proof

Толкование Перевод

1 existence proof

доказательство существования

Большой англо-русский и русско-английский словарь > existence proof
2 existence proof

доказательство существования

Англо-русский технический словарь > existence proof
3 existence proof

Математика: доказательство существования

Универсальный англо-русский словарь > existence proof
4 existence proof

доказательство существования

English-russian dictionary of physics > existence proof
5 existence proof

доказательство существования

English-Russian dictionary of technical terms > existence proof
6 existence proof

доказательство существования

English-Russian scientific dictionary > existence proof
7 proof

1) доказательство; обоснование; подтверждение

2) полигр. корректура, пробный оттиск

3) контрольный отпечаток

4) проверка; испытание; проба || проверять; испытывать; опробовать

5) безопасный; защищённый

6) обеспечивать непроницаемость; герметизировать

•

axiom needs no proof — аксиома не требует доказательства

not serving as a proof — недоказательный

proof against — устойчивый к воздействию (какого-л. фактора)

proof by analysis — доказательство путём анализа

proof by contradiction — мат. доказательство от противного

proof by enumeration — доказательство путём перебора вариантов

proof by exhaustion — доказательство путём полного перебора вариантов

proof by induction — мат. доказательство по индукции

proof by matrices — мат. доказательство с помощью матриц

proof by reduction to absurdity — доказательство от противного

proof from hypothesis — доказательство с помощью гипотезы

proof in outline — набросок [схема] доказательства;

the proof is immediate — доказательство получаем сразу

the proof is obvious — доказательство очевидно

the proof is straightforward — доказательство не вызывает затруднений

this completes the proof — это завершает доказательство; на этом доказательство заканчивается

this concludes the proof of theorem — это завершает доказательство теоремы

to give a proof — матем. дать доказательство

- a priori proof

- abridged proof

- absolute proof

- abstract proof

- acid proof

- algebraic proof

- alleged proof

- alternative proof

- analytical proof

- apagogic proof

- automatic proof

- brush proof

- classical proof

- combinatorial proof

- complete proof

- consistency proof

- constructive proof

- cyclic proof

- deductive proof

- detailed proof

- diagonal proof

- direct proof

- effective proof

- elementary proof

- exact proof

- existence proof

- experimental proof

- fallacious proof

- finitary proof

- finite proof

- first proof

- formal proof

- foundry proof

- galley proof

- general proof

- genetic proof

- geometric proof

- heuristic proof

- incomplete proof

- indirect proof

- inductive proof

- infallible proof

- informal proof

- intuitionistic proof

- intuitive proof

- irreducible proof

- irrefutable proof

- logical proof

- mathematical proof

- mechanical proof

- nonelementary proof

- page proof

- partial proof

- precise proof

- predicative proof

- press proof

- probabilistic proof

- proof of hypothesis

- proof of identity

- proof of necessity

- proof of sufficiency

- purely algebraic proof

- reductio ad absurdum proof

- regressive proof

- relative proof

- rigorous proof
- strong proof
- topological proof

- tree form proof

- variant proof

- verbal proof

English-Russian scientific dictionary > proof
8 proof

1) доказательство

2) непроницаемый
3) нормативный
4) пробный отпечаток
5) рашкетный
6) стандартный
7) проверка
8) испытание
9) защищенный
10) обоснование
11) безопасный
12) герметизировать
13) проба
– acid proof
– brush proof
– certificate of proof
– existence proof
– first proof
– foundry proof
– galley proof
– indirect proof
– irreducible proof
– not serving as a proof
– page proof
– press proof
– proof against
– proof by contradiction
– proof load
– proof press
– proof scheme
– proof spirit
– proof strength
– proof theory
– rigorous proof
– without proof

axiom needs no proof — аксиома не требует доказательства

construct proof of theorem — доказывать теорему

reductio ad absurdum proof — доказательство от противного

Англо-русский технический словарь > proof
9 existence

1) существование

2) наличие
– existence of a solution
– existence proof
– existence quantifier
– existence theorem
– global existence

existence and uniqueness of solution — существование и единственность решения

Англо-русский технический словарь > existence
10 proof

proof

A n

1 ¢ ( evidence) preuve f c (of de ; that que) ; I have proof j'ai une preuve or des preuves ; you have no proof vous n'avez aucune preuve ; to have proof that pouvoir prouver que ; there is no proof that rien ne prouve que ; do you have (any) proof? avez-vous des preuves?, en avez-vous la preuve? ; the proof is that la preuve en est que ; this is proof that cela prouve que ; to produce sth as proof produire qch à titre de preuve ; to take sth as proof that considérer qch comme la preuve que ; absolute/conclusive proof preuve absolue/irréfutable ; to fail through lack of proof échouer faute de preuves ; to be proof of sb's worth/age/existence prouver la valeur/l'âge/l'existence de qn ; to be living proof of sth être la preuve vivante de qch ; proof of identity pièce f d'identité ;

2 Math, Philos preuve f ;

3 Print épreuve f ; at proof stage au stade des épreuves ; to read sth in proof lire qch sur épreuves ;

4 Phot épreuve f ;

5 ( of alcohol) niveau m étalon ; over/under proof au-dessus/au-dessous du niveau étalon ; to be 70° ou 70% proof ≈ titrer 40° d'alcool.

B adj to be proof against être à l'épreuve de [wind, infection, heat, time] ; être à l'abri de [temptation, charms].

C - proof (dans composés) ( resistant to) vandal-proof protégé contre les vandales ; earthquake-proof antisismique ; toddler-proof toys jouets résistant aux petits.

D vtr

1 ( make waterproof) imperméabiliser [fabric] ; ( make soundproof) insonoriser [room, house] ;

2 = proofread.

Big English-French dictionary > proof
11 proof of God's existence

gudsbevis {n}

noun

English-Danish mini dictionary > proof of God's existence
12 the key tool in the proof of Theorem 1 are asymptotic existence theorems which were proved in [4]

Математика: центральное орудие

Универсальный англо-русский словарь > the key tool in the proof of Theorem 1 are asymptotic existence theorems which were proved in [4]
13 the key tools in the proof of Theorem 1 are asymptotic existence theorems [3]

Математика: основным средством в доказательстве

Универсальный англо-русский словарь > the key tools in the proof of Theorem 1 are asymptotic existence theorems [3]
14 доказательство существования

existence proof

Большой англо-русский и русско-английский словарь > доказательство существования
15 theorem

теорема

that establishes the theorem — тем самым теорема доказана

the theorem is proved — теорема доказана

theorem implies — из теоремы следует, что…

this concludes the proof of theorem — это завершает доказательство теоремы

under hypothesis of theorem — по условию теоремы

- absolute geometrical theorem

- abstract theorem

- additivity theorem

- adequacy theorem

- alleged theorem

- analytical enumeration theorem
- analytical hierarchy theorem
- analyticity theorem

- approximation theorem

- arithmetical enumeration theorem
- arithmetical hierarchy theorem
- associative theorem

- asymptotic passage theorem

- asymptotic theorem

- auxiliary theorem

- average theorem

- azygetic theorem

- bachet's theorem

- ballot theorem

- binomial theorem

- boundary theorem

- cardinality theorem

- Cauchy residue theorem

- central limit theorem

- central statistical theorem

- characterization theorem

- class existence theorem

- classical theorem

- classification theorem

- closed graph theorem
- closed range theorem
- closure theorem

- cobordism theorem

- cobweb theorem

- coding theorem

- coincidence theorem

- combination theorem

- combinatorial theorem

- compactness theorem

- comparability theorem

- comparison theorem

- compensation theorem

- complementary theorem

- completeness theorem

- composition theorem

- conductor-ramification theorem

- conservation theorem

- consistency theorem

- continuation theorem

- continuity theorem

- convergence theorem

- converse limit theorem

- converse theorem

- convexity theorem

- convolution theorem

- cosine theorem

- covering theorem

- decomposition theorem

- deducible theorem

- deduction theorem

- definability theorem

- density theorem

- descriptive theorem

- determinant theorem

- dimension theorem

- direct theorem

- distortion theorem

- divergence theorem

- dominance theorem

- double recursion theorem

- dual theorem

- duality theorem

- dynamical theorem

- edge-of-the-wedge theorem

- either-or theorem

- elementary theorem

- elimination theorem

- embedding theorem

- enclosure theorem

- enumeration theorem

- equal probability theorem

- equality theorem

- equilibrium theorem

- ergodic theorem

- exactness theorem

- excision theorem

- existence theorem

- existence theorem

- existential theorem

- expansion theorem

- explicit theorem

- extension theorem

- extreme-value theorem

- factor theorem

- factorization theorem

- faltung theorem

- fan theorem

- feasibility theorem

- Fermat's last theorem

- finiteness theorem

- five color theorem

- fixed-point theorem

- formal theorem

- formally deducible theorem
- formally provable theorem
- formation theorem

- friendship theorem

- fundamental theorem of algebra

- fundamental theorem

- fuzzy theorem

- gap theorem

- general theorem

- generalized theorem

- going-up theorem

- graphical theorem

- hierarchy theorem

- holonomy theorem

- homotopy addition theorem
- implicit function theorem
- incompleteness theorem

- index theorem

- individual ergodic theorem
- initial value theorem - integral representation theorem
- integral theorem

- integrality theorem

- integration theorem

- interchange theorem

- intermediary theorem

- intermediate value theorem

- interpolation theorem

- interpretability theorem

- interpretation theorem

- invariance theorem

- inverse function theorem

- inverse theorem

- inverse transform theorem

- inversion theorem

- isomorphism theorem

- isoperimetric theorem

- joint consistency theorem

- Karhunen-Loeve theorem

- kernel theorem

- key renewal theorem

- least-upper-bound theorem

- limitative theorem

- limiting theorem

- linearity theorem

- local description theorem
- local limit theorem
- local theorem

- local uniformization theorem

- local-global theorem

- localization theorem

- logical theorem

- main theorem

- map color theorem

- martingale convergence theorem

- martingale theorem

- matching theorem

- max-flow min-cut theorem
- maximal ergodic theorem
- maximal theorem

- maximality theorem

- maximum-modulus theorem

- mean ergodic theorem
- mean value theorem
- mean-value theorem

- measurability theorem

- metamathematical theorem

- metrization theorem

- minimax theorem

- model extension theorem

- monodromy theorem

- monotonicity theorem

- multinomial theorem

- multiplication theorem

- Nagy-Faias theorem

- negation of theorem

- negation theorem

- Nikodym theorem

- nonexistence theorem

- normal addition theorem
- normal form theorem
- normalization theorem

- Nyquist-Kotelnikov-Shannon sampling theorem

- occurrence theorem

- open mapping theorem

- operator theorem

- opposite theorem

- ordering theorem

- orientability theorem

- orthogonality theorem

- orthographic theorem

- oscillation theorem

- painting theorem

- parallel axis theorem

- parametric theorem

- parametrization theorem

- periodicity theorem

- permutation theorem

- Plancherel theorem

- pointwise ergodic theorem

- preliminary theorem

- preparation theorem

- prime number theorem

- principal theorem

- probability theorem

- product theorem

- prolongation theorem

- proximity theorem

- quantifiers elimination theorem

- quantitative theorem

- quasiergodic theorem

- random ergodic theorem
- ratio limit theorem - rational root theorem
- recurrence theorem

- recursion theorem

- reduction theorem

- reflection theorem

- regularity theorem

- relativized theorem

- renewal density theorem

- replacement theorem

- representability theorem

- representation theorem

- residue theorem

- resonance theorem

- reverse-flow theorem

- root-counting theorem

- sampling theorem

- second limit theorem
- second mean value theorem
- selection theorem

- semantical theorem

- semilocal theorem

- separation theorem

- seven color theorem

- sewing theorem

- shift theorem

- signature theorem

- similarity theorem

- similarity theorem

- similitude theorem

- single-valuedness theorem

- sinusoidal limit theorem

- six-color theorem

- soundness theorem

- special theorem

- spectral theorem

- stability theorem

- stationarity theorem

- strong theorem

- structure theorem

- substitution theorem

- subtle theorem

- summation theorem

- superposition theorem

- suspension theorem

- symmetry theorem

- syntactical theorem

- synthesis theorem

- tautology theorem

- theorem of alternatives

- theorem of choice

- theorem of closed graph
- theorem of consistency proofs - theorem of corresponding states
- theorem of mean

- theorem of numerical comparison

- theorem of residues

- theorem of sines

- theorem of total probability

- theorem of units

- Theveni's theorem

- three circle theorem
- three line theorem - three series theorem
- torsion theorem

- transference theorem

- translation theorem

- transposition theorem

- tree theorem

- triad theorem

- triple limit theorem

- truth theorem

- two constants theorem

- two triangles theorem

- ultraproduct theorem

- umbrellas theorem

- undecidability theorem

- unicity theorem

- uniform boundedness theorem
- uniform convergence theorem - uniform ergodic theorem - uniform mean value theorem
- uniformization theorem

- unique factorization theorem

- uniqueness theorem

- validity theorem

- Van Cittert-Zernike theorem

- vanishing theorem

- variant theorem

- virial theorem

- weak theorem

- well ordering theorem

- Wiener-Paley theorem

- work-kinetic energy theorem

English-Russian scientific dictionary > theorem
16 Unconscious

   1) How the Idea and the Term " Unconscious Mind" Entered European Thought

   Prior to Descartes and his sharp definition of the dualism there was no cause to contemplate the possible existence of unconscious mentality as part of a separate realm of mind. Many religious and speculative thinkers had taken for granted factors lying outside but inﬂuencing immediate awareness.... Until an attempt had been made (with apparent success) to choose awareness as the defining characteristic of mind, there was no occasion to invent the idea of unconscious mind.... It is only after Descartes that we find, first the idea and then the term "unconscious mind" entering European thought. (Whyte, 1962, p. 25)

   2) Why Awareness Cannot Be Taken as the Criterion of Mentality

   If there are two realms, physical and mental, awareness cannot be taken as the criterion of mentality [because] the springs of human nature lie in the unconscious... as the realm which links the moments of human awareness with the background of organic processes within which they emerge. (Whyte, 1962, p. 63)

   3) The Unconscious Was Not Invented by Freud

   he unconscious was no more invented by Freud than evolution was invented by Darwin, and has an equally impressive pedigree, reaching back to antiquity.... At the dawn of Christian Europe the dominant inﬂuence were the Neoplatonists; foremost among them Plotinus, who took it for granted that "feelings can be present without awareness of them," that "the absence of a conscious perception is no proof of the absence of mental activity," and who talked confidently of a "mirror" in the mind which, when correctly aimed, reﬂects the processes going on inside it, when aimed in another direction, fails to do so-but the process goes on all the same. Augustine marvelled at man's immense store of unconscious memories-"a spreading, limitless room within me-who can reach its limitless depth?"

   The knowledge of unconscious mentation had always been there, as can be shown by quotations from theologians like St. Thomas Aquinas, mystics like Jacob Boehme, physicians like Paracelsus, astronomers like Kepler, writers and poets as far apart as Dante, Cervantes, Shakespeare, and Montaigne. This in itself is in no way remarkable; what is remarkable is that this knowledge was lost during the scientific revolution, more particularly under the impact of its most inﬂuential philosopher, Rene Descartes. (Koestler, 1964, p. 148)

   4) The Constructive Nature of Automatic Cognitive Functioning Argues for the Existence of Unconscious Activity

   The constructive nature of the automatic functioning argues the existence of an activity analogous to consciousness though hidden from observation, and we have therefore termed it unconscious. The negative prefix suggests an opposition, but it is no more than verbal, not any sort of hostility or incompatibility being implied by it, but simply the absence of consciousness. Yet a real opposition between the conscious and the unconscious activity does subsist in the limitations which the former tends to impose on the latter. (Ghiselin, 1985, p. 7)

Historical dictionary of quotations in cognitive science > Unconscious
17 living

1. noun
1) Leben, das

2) (livelihood) Lebensunterhalt, der

make a living — seinen Lebensunterhalt verdienen

earn one's [own] living — sich (Dat.) seinen Lebensunterhalt [selbst] verdienen

make one's living out of farming — von der Landwirtschaft leben

make a good living — viel verdienen

it's a living — (joc.) man kann davon leben

3) (way of life) Lebensstil, der

good living — üppiges Leben; (pious) guter Lebenswandel

high living — hoher Lebensstandard

4) constr. as pl.

the living — die Lebenden

be still/back in the land of the living — noch/wieder unter den Lebenden weilen
2. adjective
lebend

living things — Lebewesen

within living memory — seit Menschengedenken

* * *

adjective

1) (having life; being alive: a living creature; The aim of the project was to discover if there was anything living on Mars.) lebendig

2) (now alive: the greatest living artist.) lebend

* * *

liv·ing

[ˈlɪvɪŋ]

I. n

1. usu sing (livelihood) Lebensunterhalt m

you can make a good \living in sales von der Arbeit als Vertreter kann man prima leben

is he really able to make a \living as a translator? kann er von der Übersetzerei wirklich leben?

to do sth for a \living mit etw dat seinen Lebensunterhalt verdienen

what do you do for a \living? womit verdienen Sie Ihren Lebensunterhalt?

to work for a \living für seinen Lebensunterhalt arbeiten

2. BRIT REL ( dated) Pfründe f

3. no pl (lifestyle) Lebensart f, Lebensstil m

standard of \living Lebensstandard m

fast \living ein ausschweifendes Leben

a good \living ein Leben im Wohlstand

we are rather fond of good \living wir leben ganz gerne [so] richtig gut

gracious \living ein vornehmer Lebensstil

loose \living ein lockerer Lebenswandel

country \living Landleben nt

4. pl

▪ the \living (people) die Lebenden pl

to be in the land of the \living ( poet) unter den Lebenden weilen liter

II. adj inv

1. (alive) lebend attr

we didn't see a \living soul on the streets wir sahen draußen auf der Straße keine Menschenseele

do you have any \living grandparents? hast du Großeltern, die noch leben?

are any of your grandparents \living? lebt von deinen Großeltern noch jemand?

\living creatures Lebewesen pl

2. (exact)

to be the \living image [or likeness] of sb jdm wie aus dem Gesicht geschnitten sein

to be the \living embodiment of Jesus die leibhaftige Verkörperung Jesu Christi sein

3. (still used) lebendig

a \living language eine lebende Sprache

a \living tradition eine [noch heute] lebendige Tradition

4.

▶ to be in [or within] \living memory [noch] in [lebendiger] Erinnerung sein

▶ to be [the] \living proof that... der lebende Beweis dafür sein, dass...

▶ to scare the \living daylights out of sb jdn zu Tode erschrecken

* * *
['lIvɪŋ]
1. adj
lebend; example, faith lebendig
the greatest living playwright — der bedeutendste noch lebende Dramatiker

I have no living relatives — ich habe keine Verwandten mehr

a living creature — ein Lebewesen nt

not a living soul — keine Menschenseele

(with)in living memory — seit Menschengedenken

he is living proof of... —

her existence was a living death — ihr Leben war eine einzige Qual

living or dead — tot oder lebendig

2. n

1) pl die Lebenden pl

2)

(= way of living) the art of living — Lebenskunst f

he is fond of good living — er lebt gern gut

gracious living — die vornehme Lebensart

loose living — lockerer Lebenswandel

healthy living — gesundes Leben

See:

→ academic.ru/70245/standard">standard

3) (= livelihood) Lebensunterhalt m

to earn or make a living — sich (dat) seinen Lebensunterhalt verdienen

what does he do for a living? — womit verdient er sich (dat)

he sells brushes for a living — er verkauft Bürsten, um sich (dat) seinen Lebensunterhalt zu verdienen

they made a bare living out of the soil — sie hatten mit dem Ertrag des Bodens ihr Auskommen

or modeling (US) — von der Arbeit als Model kann man sehr gut leben

to work for one's living — arbeiten, um sich (dat) seinen Lebensunterhalt zu verdienen

some of us have to work for a living — es gibt auch Leute, die arbeiten müssen

4) (ECCL) Pfründe f

* * *

living [ˈlıvıŋ]

A adj

1. lebend (Sprache etc):

no man living kein Mensch oder Sterblicher;

the greatest of living statesmen der größte lebende Staatsmann;

while living bei oder zu Lebzeiten;

within living memory seit Menschengedenken;

it is within living memory es leben noch Leute, die sich daran erinnern (können);

living death trostloses oder schreckliches Dasein;

she was a living legend sie war schon zu Lebzeiten eine Legende;

living rock lebender oder gewachsener Fels; → daylight 1, dictionary 3

2. lebendig (Glaube, Realität etc):

the living God

3. → live² A 4

4. lebensecht, lebensnah:

the living image das getreue Abbild

5. Lebens…:

living conditions ( habits, etc);

living standard Lebensstandard m

B s

1. the living koll die Lebenden pl: → dead B 2, land A 7

2. das Leben:

living is very expensive these days; → cost A 1

3. Leben n, Lebensweise f:

good living üppiges Leben;

loose living lockerer Lebenswandel; → clean A 8, plain¹ A 1

4. Lebensunterhalt m:

earn ( oder gain, get, make) a living seinen Lebensunterhalt verdienen (as als; out of durch, mit);

you can’t make a living out of this davon kann man nicht leben

5. Leben n, Wohnen n

6. REL Br Pfründe f

* * *
1. noun
1) Leben, das

2) (livelihood) Lebensunterhalt, der

make a living — seinen Lebensunterhalt verdienen

earn one's [own] living — sich (Dat.) seinen Lebensunterhalt [selbst] verdienen

make one's living out of farming — von der Landwirtschaft leben

make a good living — viel verdienen

it's a living — (joc.) man kann davon leben

3) (way of life) Lebensstil, der

good living — üppiges Leben; (pious) guter Lebenswandel

high living — hoher Lebensstandard

4) constr. as pl.

the living — die Lebenden

be still/back in the land of the living — noch/wieder unter den Lebenden weilen
2. adjective
lebend

living things — Lebewesen

within living memory — seit Menschengedenken

* * *

adj.

lebend adj.

lebendig adj. n.

Lebensunterhalt m.

English-german dictionary > living
18 Logic

   1) The Science of Logic Finds Ordinary Language to Be an Obstacle

   My initial step... was to attempt to reduce the concept of ordering in a sequence to that of logical consequence, so as to proceed from there to the concept of number. To prevent anything intuitive from penetrating here unnoticed, I had to bend every effort to keep the chain of inference free of gaps. In attempting to comply with this requirement in the strictest possible way, I found the inadequacy of language to be an obstacle. (Frege, 1972, p. 104)

   2) Logic Is a Microscope

   I believe I can make the relation of my 'conceptual notation' to ordinary language clearest if I compare it to the relation of the microscope to the eye. The latter, because of the range of its applicability and because of the ease with which it can adapt itself to the most varied circumstances, has a great superiority over the microscope. Of course, viewed as an optical instrument it reveals many imperfections, which usually remain unnoticed only because of its intimate connection with mental life. But as soon as scientific purposes place strong requirements upon sharpness of resolution, the eye proves to be inadequate.... Similarly, this 'conceptual notation' is devised for particular scientific purposes; and therefore one may not condemn it because it is useless for other purposes. (Frege, 1972, pp. 104-105)

   3) Logic Carries on an Unceasing Struggle with Psychology

   To sum up brieﬂy, it is the business of the logician to conduct an unceasing struggle against psychology and those parts of language and grammar which fail to give untrammeled expression to what is logical. He does not have to answer the question: How does thinking normally take place in human beings? What course does it naturally follow in the human mind? What is natural to one person may well be unnatural to another. (Frege, 1979, pp. 6-7)

   4) Logic Should Replace the Ordinary Language of Everyday Discourse

   We are very dependent on external aids in our thinking, and there is no doubt that the language of everyday life-so far, at least, as a certain area of discourse is concerned-had first to be replaced by a more sophisticated instrument, before certain distinctions could be noticed. But so far the academic world has, for the most part, disdained to master this instrument. (Frege, 1979, pp. 6-7)

   5) Logic Is Unnatural

   There is no reproach the logician need fear less than the reproach that his way of formulating things is unnatural.... If we were to heed those who object that logic is unnatural, we would run the risk of becoming embroiled in interminable disputes about what is natural, disputes which are quite incapable of being resolved within the province of logic. (Frege, 1979, p. 128)

   6) The Significance of " Baby Logic" for Linguistics

   [L]inguists will be forced, internally as it were, to come to grips with the results of modern logic. Indeed, this is apparently already happening to some extent. By "logic" is not meant here recursive function-theory, California model-theory, constructive proof-theory, or even axiomatic settheory. Such areas may or may not be useful for linguistics. Rather under "logic" are included our good old friends, the homely locutions "and," "or," "if-then," "if and only if," "not," "for all x," "for some x," and "is identical with," plus the calculus of individuals, event-logic, syntax, denotational semantics, and... various parts of pragmatics.... It is to these that the linguist can most profitably turn for help. These are his tools. And they are "clean tools," to borrow a phrase of the late J. L. Austin in another context, in fact, the only really clean ones we have, so that we might as well use them as much as we can. But they constitute only what may be called "baby logic." Baby logic is to the linguist what "baby mathematics" (in the phrase of Murray Gell-Mann) is to the theoretical physicist-very elementary but indispensable domains of theory in both cases. (Martin, 1969, pp. 261-262)

   7) The Existence of a Mental Logic Denied

   There appears to be no branch of deductive inference that requires us to assume the existence of a mental logic in order to do justice to the psychological phenomena. To be logical, an individual requires, not formal rules of inference, but a tacit knowledge of the fundamental semantic principle governing any inference; a deduction is valid provided that there is no way of interpreting the premises correctly that is inconsistent with the conclusion. Logic provides a systematic method for searching for such counter-examples. The empirical evidence suggests that ordinary individuals possess no such methods. (Johnson-Laird, quoted in Mehler, Walker & Garrett, 1982, p. 130)

   8) The Fundamental Paradox of Logic

   The fundamental paradox of logic [that "there is no class (as a totality) of those classes which, each taken as a totality, do not belong to themselves" (Russell to Frege, 16 June 1902, in van Heijenoort, 1967, p. 125)] is with us still, bequeathed by Russell-by way of philosophy, mathematics, and even computer science-to the whole of twentieth-century thought. Twentieth-century philosophy would begin not with a foundation for logic, as Russell had hoped in 1900, but with the discovery in 1901 that no such foundation can be laid. (Everdell, 1997, p. 184)

Historical dictionary of quotations in cognitive science > Logic
19 appeal

əˈpi:l
1. сущ.
1) призыв, обращение, воззвание( to - к) to make an appeal ≈ выступить с обращением emotional appeal ≈ эмоциональный призыв to make an appeal to the public for donations ≈ призывать общество делать пожертвования
2) просьба, мольба( for - о) desperate appeal ≈ крик отчаяния appeal for pardon ≈ просьба о помиловании Syn: entreaty, request
3) привлекательность, притягательность irresistible appeal ≈ неотразимая привлекательность Movies had a great appeal for him. ≈ Кино имеет для него огромную притягательность. to make an appeal to ≈ притягивать кого-л. to have appeal ≈ нравиться Syn: attraction
4) юр. апелляция;
право апелляции to file an appeal, lodge an appeal ≈ подавать апелляцию to file an appeal against a decision ≈ подать апелляцию по вынесенному решению to lose an appeal ≈ проиграть апелляцию to win an appeal ≈ выиграть апелляцию to take an appeal to a higher court ≈ подать апелляцию в Верховный Суд to deny (dismiss, reject, throw out) an appeal ≈ отклонить апелляцию There is no appeal from a verdict of the higher court. ≈ Нельзя пересматривать решение верховного суда. brief on appeal ≈ записка по делу( предоставляется адвокатом в апелляционный суд)
2. гл.
1) апеллировать, обращаться, прибегать, взывать( to - к) For the proof of the existence of the conscience, we appeal to the consciousness. ≈ Для доказательства существования сознания мы обращаемся к сознанию. appeal to the facts ≈ обращаться к фактам appeal to reason ≈ апеллировать к здравому смыслу
2) взывать, просить, умолять, упрашивать (to;
for) The universities are having to appeal to the government for more money. ≈ Университетам приходится обращаться к правительству за деньгами. I appeal to you to let me alone. ≈ Я умоляю тебя оставить меня в покое. Syn: cry, call, plead
3) привлекать, притягивать;
влечь, манить, нравиться (to) Its poetical and romantic attractions appeal even to a person so little poetical as Hobbes. ≈ Их поэтическое и романтическое очарование притягивает даже такую малопоэтическую натуру, как Хоббс. Syn: please
4) юр. подавать апелляционную жалобу, обжаловать (against) Jim appealed successfully against the judgement that he was guilty. ≈ Джим подал апелляционную жалобу на решение суда признать его виновным, и она была удовлетворена. appeal against the light ∙ to appeal to the country ≈ распустить парламент и назначить новые выборы to appeal from Philip drunk to Philip sober ≈ уговаривать отказаться от необдуманного решения
воззвание, обращение, призыв - World Peace Council's A. Обращение Всемирного Совета Мира - to support an * поддерживать обращение - to make an * to smb.'s feelings взывать к чувствам просьба, мольба (о помощи) - mute * безмолвная просьба - to respond to an * реагировать на просьбу - to make an * for help молить о помощи привлекательность, притягательность, очарование - singular * особое обаяние - delicate * тонкое очарование - movies have a great * for him он очень увлекается кинематографом (юридическое) обжалование, жалоба;
апелляция - right of * право обжалования( судебного решения или приговора) - by way of * путем обжалования (приговора) - to be without * не подлежать обжалованию - to file an * подавать жалобу, апеллировать в высшую инстанцию;
подавать дело на пересмотр( юридическое) право апелляции (спортивное) апелляция к судье - to make an * to the umpire обращаться к судье (с просьбой о решении спорного вопроса) ;
апеллировать к судье (в случае нарушения правил) (редкое) применение, употребление - to make an * to force прибегать к силе( для решения спорного вопроса) апеллировать, взывать;
обращаться с призывом - to * to the public for contributions обратиться к общественности с просьбой о пожервтованиях (на оказание помощи пострадавшим) - to * reason взывать к разуму - I * to you to say whether I am speaking the truth я прошу вас подтвердить, что я говорю правду просить, молить, умолять - to * for mercy молить о пощаде - the drifting ship *ed for help дрейфующее судно взывало о помощи привлекать, интересовать;
волновать, трогать - to * to the eye радовать глаз - the paintings * to him картины привлекают его - does this sort of music * to you? вам нравится такая музыка? ссылаться;
аргументировать - to * to facts ссылаться на факты - to * to history обращаться к истории, призывать в свидетели историю - he *ed to the number of dead as the reason why the fighting should stop необходимость выхода из боя он аргументировал числом убитых (юридическое) обжаловать, апеллировать, подавать апелляционную жалобу - to * against the judge's decision обжаловать решение судьи - the sentence has been *ed against решение суда обжаловано;
приговор суда обжалован (спортивное) апеллировать к арбитру;
обращаться к судье за разрешением спорного вопроса, конфликта - the captain *ed against the light капитан обратился к арбитру с предложением прекратить игру из-за наступления сумерек прибегать - if you do not obey I shall * to force если вы не подчинитесь, я применю силу > to * from Philip drunk to Philip sober просить трезво взвесить все обстоятельства и пересмотреть неразумное решение

administrative ~ административная апелляция

allow ~ удовлетворять апелляцию

appeal привлекательность;
to make an appeal (to smb.) привлекать (кого-л.), действовать притягательно (на кого-л.) ;
to have appeal быть привлекательным, нравиться ~ апеллировать, обращаться, прибегать, взывать (to - к) ;
to appeal to the fact ссылаться на факт;
to appeal to reason апеллировать к здравому смыслу;
to appeal to arms прибегать к оружию ~ апеллировать ~ апелляционная жалоба ~ юр. апелляция;
право апелляции ~ апелляция ~ взывать, умолять ~ влечение ~ воззвание;
World Peace Council's Appeal Обращение Всемирного Совета Мира ~ воззвание ~ обжалование ~ обжалованние ~ обжаловать ~ обращение ~ юр. подавать апелляционную жалобу;
to appeal to the country распустить парламент и назначить новые выборы;
to appeal from Philip drunk to Philip sober = уговаривать отказаться от необдуманного решения ~ подавать апелляционную жалобу ~ право апелляции ~ привлекательность ~ привлекать, притягивать;
нравиться;
these pictures do not appeal to me эти картины не трогают меня ~ призыв, обращение (to - к) ~ призыв, воззвание;
апелляция ~ призыв ~ притягательность ~ просить ~ просьба, мольба (for - o) ;
appeal for pardon просьба о помиловании ~ просьба Appeal: Appeal: Lord of ~ in Ordinary лорд - ординарий апелляционного суда (Великобритания) appeal: appeal: mass ~ обращение к широкой аудитории

~ просьба, мольба (for - o) ;
appeal for pardon просьба о помиловании

~ юр. подавать апелляционную жалобу;
to appeal to the country распустить парламент и назначить новые выборы;
to appeal from Philip drunk to Philip sober = уговаривать отказаться от необдуманного решения

~ on a point of fact апеллировать к фактам

~ to ссылаться

~ апеллировать, обращаться, прибегать, взывать (to - к) ;
to appeal to the fact ссылаться на факт;
to appeal to reason апеллировать к здравому смыслу;
to appeal to arms прибегать к оружию arm: to take up arms, to appeal to ~s взяться за оружие;
to lay down arms сложить оружие;
to arms! к оружию!;
under arms вооруженный, под ружьем

~ апеллировать, обращаться, прибегать, взывать (to - к) ;
to appeal to the fact ссылаться на факт;
to appeal to reason апеллировать к здравому смыслу;
to appeal to arms прибегать к оружию

~ to the commissioners протест против обложения налогом

~ юр. подавать апелляционную жалобу;
to appeal to the country распустить парламент и назначить новые выборы;
to appeal from Philip drunk to Philip sober = уговаривать отказаться от необдуманного решения country: ~ attr. сельский;
деревенский;
to appeal (или to go) to the country распустить парламент и назначить новые выборы

~ апеллировать, обращаться, прибегать, взывать (to - к) ;
to appeal to the fact ссылаться на факт;
to appeal to reason апеллировать к здравому смыслу;
to appeal to arms прибегать к оружию

automatic right of ~ автоматическое право апелляции

bring an ~ подавать апелляцию

county board of ~ окружной апелляционный совет

dismiss an ~ отклонять апелляционную жалобу dismiss an ~ отклонять апелляцию

emotional ~ рекл. эмоциональное обращение

enter an ~ подавать апелляцию

extraordinary court of ~ особый апелляционный суд

fear ~ запугивание( в рекламе)

generic ~ рекл. обращение к широкой аудитории

appeal привлекательность;
to make an appeal (to smb.) привлекать (кого-л.), действовать притягательно (на кого-л.) ;
to have appeal быть привлекательным, нравиться

interlocutory ~ апелляция, поданная в ходе судебного разбирательства interlocutory ~ предварительная апелляция

leap-frog ~ апелляция, поданная непосредственно в палату лордов leap-frog ~ апелляция, поданная не по инстанции

lodge an ~ подавать апелляцию

appeal: mass ~ обращение к широкой аудитории

municipal ~ общественное обращение

negative ~ непривлекательность

positive ~ конкретная реклама

price ~ притягательность товара из-за его цены

refuse an ~ отклонять апелляцию

right of ~ право обжалования right: ~ of appeal право обжалования ~ of appeal право подачи апелляционной жалобы

sex ~ физическая, сексуальная привлекательность (обыкн. женщины)

~ привлекать, притягивать;
нравиться;
these pictures do not appeal to me эти картины не трогают меня

waive ~ отказываться от апелляции

withdraw an ~ отказываться от апелляции

~ воззвание;
World Peace Council's Appeal Обращение Всемирного Совета Мира

Большой англо-русский и русско-английский словарь > appeal
20 theorem

теорема

– altitude theorem
– Arzela-Ascoli theorem
– azygetic theorem
– binomial theorem
– compensation theorem
– conclusion of theorem
– conductor-ramification theorem
– converse of theorem
– deduction theorem
– distortion theorem
– duality theorem
– embedding theorem
– existence theorem
– expansion theorem
– gap theorem
– Karhunen-Loeve theorem
– localization theorem
– mean-value theorem
– minimax theorem
– Nagy-Faias theorem
– Nikodym theorem
– Plancherel theorem
– preparation theorem
– remainder theorem
– reverse-flow theorem
– sampling theorem
– sewing theorem
– shift theorem
– similarity theorem
– theorem os sines
– Theveni's theorem
– transference theorem
– uniqueness theorem
– Van Cittert-Zernike theorem
– Wiener-Paley theorem

Cauchy residue theorem — теорема Коши о вычетах

central limit theorem — теорема о центральном пределе, теорема предельная центральная, центральная предельная теорема

construct proof of theorem — доказывать теорему

equal probability theorem — теорема равновероятности

Fermat's last theorem — Ферма великая теорема, последняя теорема Ферма

fundamental theorem of algebra — основная теорема алгебры

homotopy addition theorem — гомотопическая теорема сложения

implicit function theorem — теорема о неявных функциях

inverse transform theorem — теорема обращения

mean value theorem — теорема о среднем

Nyquist-Kotelnikov-Shannon sampling theorem — <math.> теорема отсчетов Шеннона-Котельникова

theorem of corresponding states — теорема соответственных состояний

work-kinetic energy theorem — теорема живых сил

Англо-русский технический словарь > theorem

Страницы

См. также в других словарях:

Existence of God — The Existence of God † Catholic Encyclopedia ► The Existence of God The topic will be treated as follows: I. As Known Through Natural Reason A. The Problem Stated 1. Formal Anti Theism 2. Types of Theism B.… … Catholic encyclopedia
Proof — • The establishment of a disputed or controverted matter by lawful means or arguments. Catholic Encyclopedia. Kevin Knight. 2006. Proof Proof … Catholic encyclopedia
proof — n [alteration of Middle English preove, from Old French preuve, from Late Latin proba, from Latin probare to prove] 1: the effect of evidence sufficient to persuade a reasonable person that a particular fact exists see also evidence 2: the… … Law dictionary
Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… … Wikipedia
Proof of delivery — is a method to establish the fact that the recipient received the contents sent by the sender. When the sender sends multiple documents through the mail there is a possibility of some not reaching the intended recipient. Generally post offices… … Wikipedia
Proof-theoretic semantics — is an approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, as in Tarskian approaches to semantics, but in the role that the proposition or logical… … Wikipedia
Existence of God — Part of a series on God General conceptions … Wikipedia
Existence theorem — In mathematics, an existence theorem is a theorem with a statement beginning there exist(s) .. , or more generally for all x, y, ... there exist(s) ... . That is, in more formal terms of symbolic logic, it is a theorem with a statement involving… … Wikipedia
Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… … Wikipedia
Existence — For other uses, see Existence (disambiguation). Philosophy … Wikipedia
Proof that the sum of the reciprocals of the primes diverges — In the third century BC, Euclid proved the existence of infinitely many prime numbers. In the 18th century, Leonhard Euler proved a stronger statement: the sum of the reciprocals of all prime numbers diverges. Here, we present a number of proofs… … Wikipedia

Словари и энциклопедии на Академике

Перевод: с английского на все языки

existence proof

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с английского на все языки

existence proof

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: